MAX - PLANCK - INSTITUT FÜR INFORMATIK Difference Matching
نویسندگان
چکیده
Difference matching is a generalization of first-order matching where terms are made identical both by variable instantiation and by structure hiding. After matching, the hidden structure may be removed by a type of controlled rewriting, called rippling, that leaves the rest of the term unaltered. Rippling has proved highly successful in inductive theorem proving. Difference matching allows us to use rippling in other contexts, e.g., equational, inequational, and propositional reasoning. We present a difference matching algorithm, its properties, several applications, and suggest extensions.
منابع مشابه
Discrepancy of Products of Hypergraphs
Discrepancy of Products of Hypergraphs Benjamin Doerr, Michael Gnewuch and Nils Hebbinghaus Max-Planck-Institut für Informatik, Stuhlsatzenhausweg 85, D-66123 Saarbrücken, e-mail: [email protected] Max-Planck-Institut für Mathematik in den Naturwissenschaften, Inselstraße 22, D-04103 Leipzig, e-mail: [email protected] Institut für Informatik und Praktische Mathematik, Christian-Albrechts-Uni...
متن کاملRekonstruktion zerebraler Gefässnetzwerke aus in-vivo μMRA mittels physiologischem Vorwissen zur lokalen Gefässgeometrie
Departement für Informatik, TU München Institut für Bildverarbeitung, ETH Zürich Institut für Pharmakologie und Toxikologie, Universität Zürich Institut für Biomedizinische Technik, Universität und ETH Zürich Advanced Photon Source, Argonne National Laboratory, USA Feinberg School of Medicine, Northwestern University, Chicago IL, USA Max-Planck-Institut für Informatik, Saarbrücken Institute for...
متن کاملMagnetic Surfaces and Localized Perturbations in the Wendelstein VII-A Stellarator
für Naturforschung in cooperation with the Max Planck Society for the Advancement of Science under a Creative Commons Attribution 4.0 International License. Dieses Werk wurde im Jahr 2013 vom Verlag Zeitschrift für Naturforschung in Zusammenarbeit mit der Max-Planck-Gesellschaft zur Förderung der Wissenschaften e.V. digitalisiert und unter folgender Lizenz veröffentlicht: Creative Commons Namen...
متن کاملOn the Matching Spectrum of Rotagraphs
für Naturforschung in cooperation with the Max Planck Society for the Advancement of Science under a Creative Commons Attribution 4.0 International License. Dieses Werk wurde im Jahr 2013 vom Verlag Zeitschrift für Naturforschung in Zusammenarbeit mit der Max-Planck-Gesellschaft zur Förderung der Wissenschaften e.V. digitalisiert und unter folgender Lizenz veröffentlicht: Creative Commons Namen...
متن کاملIon irradiation of solids at extreme pressures
Lang, M., Glasmacher, U.A., Keppler, H., Neumann, R., Schardt, D., Wagner, G.A. Gesellschaft für Schwerionenforschung (GSI), Planckstr. 1, 64291 Darmstadt Forschungsstelle Archäometrie der Heidelberger Akademie der Wissenschaften am Max-Planck-Institut für Kernphysik, Postfach 103980, 69029 Heidelberg Institut für Petrologie, Mineralogie und Geochemie, Universität Tübingen, Wilhelmstr. 56, 7207...
متن کامل